Langley Research Center - PDFSEARCH.IO - Document Search Engine

Langley Research Center
Results: 1686

#	Item
71	Dr. Russell J. De Young Science Directorate NASA Langley Research Center MS 401A Hampton, VA 23681 Add to Reading List Source URL: www.chesapeake.org Language: English - Date: 2010-09-08 11:24:09 LIDAR Robotic sensing Environmental chemistry Laser Aerosol Remote sensing Ozone Serguei Mikhailovich Pershin Atmospheric Chemistry Observational Databases Optics Meteorology Atmospheric sciences
72	Satellite-Derived Cloud Properties During PACS Cruise P. Minnis, D. F. Young Atmospheric Sciences Division NASA Langley Research Center Hampton, VA Add to Reading List Source URL: www-pm.larc.nasa.gov Language: English - Date: 2000-04-05 16:12:35 Electromagnetic spectrum Infrared Cloud
73	SECOND CALL FOR PAPERS NFM 2012 Fourth NASA Formal Methods Symposium Norfolk, Virginia, USA April 3 - 5, 2012 http://shemesh.larc.nasa.gov/nfm2012/ Add to Reading List Source URL: shemesh.larc.nasa.gov Language: English - Date: 2011-10-19 15:27:17 Goddard Space Flight Center Langley Research Center Lyndon B. Johnson Space Center Geography of California California San Francisco Bay Area Mountain View California Ames Research Center University of California Santa Cruz
74	National Aeronautics and Space Administration NFM 2012 Fourth NASA Formal Methods Symposium SUBMISSION DEADLINE: 11 DECEMBER 2011 Add to Reading List Source URL: shemesh.larc.nasa.gov Language: English - Date: 2012-03-16 10:56:05 Langley Research Center Geography of California California San Francisco Bay Area NASA Mountain View California Ames Research Center University of California Santa Cruz
75	NASA/TM[removed], Vol. Technical Report Add to Reading List Source URL: gmao.gsfc.nasa.gov Language: English - Date: 2004-12-09 15:32:26 Systems theory NASA STI Program Goddard Space Flight Center Data assimilation Kalman filter NASA Langley Research Center Control theory Statistics Cybernetics
76	Image: Taking a closer look at Orion after successful flight test Add to Reading List Source URL: phys.org Language: English - Date: 2015-04-16 10:36:30 Orion Single-stage-to-orbit NASA Langley Research Center Constellation program DIRECT Spaceflight Human spaceflight Manned spacecraft
77	Parallel Anisotropic Adaptation for Metric and Direct Error Control Michael A. Parka , David L. Darmofalb b a Computational AeroSciences Branch, NASA Langley Research Center, Hampton, VA[removed]Department of Aeronautics a Add to Reading List Source URL: raphael.mit.edu Language: English - Date: 2009-08-31 11:09:35 Self-dual polyhedra Tetrahedron Euclidean geometry Geometry Convex geometry Deltahedra
78	CCR[removed]081A (errata only) to the EDOS - EGS Elements ICD CERES Data to LATIS June 11, [removed] Add to Reading List Source URL: oceancolor.gsfc.nasa.gov Language: English Health EDOS EOSDIS Langley Research Center EGS Latis Interface control document Goddard Space Flight Center International Statistical Classification of Diseases and Related Health Problems Medicine Science Distributed Active Archive Center
79	National Aeronautics and Space Administration T H E N AT I O N A L A D V I S O R Y C O M M I T T E E FOR AERONAUTICS An Annotated Bibliography Add to Reading List Source URL: history.nasa.gov Language: English - Date: 2015-02-06 10:03:51 Aviation Transportation in the United States Aerospace engineering William H. McAvoy NACA cowling National Advisory Committee for Aeronautics NASA personnel Langley Research Center
80	CSL Technical Report SRI-CSL-01-01 • April[removed]Theory Interpretations in PVS Sam Owre and N. Shankar Funded by NASA Langley Research Center contract numbers NAS1[removed]and Add to Reading List Source URL: pvs.csl.sri.com Language: English - Date: 2006-11-30 07:15:58 Model theory Formal systems Proof theory Interpretation Philosophy of mind Theory First-order logic Axiom Structure Logic Mathematical logic Metalogic

UPDATE